gentzen system (logic) - Turkish English Dictionary